Yassine Lakhnech: αναζήτηση στον ιστότοπο της Z-Library

Ελεύθερη πρόσβαση στη γνώση και τον πολιτισμό.

Don't use scam websites

Βιβλία (5)
Τα πιο δημοφιλή
Λίστα
- Λίστα
- Πίνακας

1

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Springer-Verlag Berlin Heidelberg

Paul Feautrier (auth.), Yassine Lakhnech, Sergio Yovine (eds.)

Έτος:

2004

Γλώσσα:

english

Αρχείο:

PDF, 4.53 MB

0 / 0

english, 2004

2

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Cambridge University Press

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Έτος:

2001

Γλώσσα:

english

Αρχείο:

DJVU, 6.87 MB

0 / 0

english, 2001

3

Tool Support for System Specification, Development and Verification

Tool Support for System Specification, Development and Verification

Springer-Verlag Wien

R. Berghammer, Y. Lakhnech, W. Reif (auth.), Prof. Dr. Rudolf Berghammer, Dr. Yassine Lakhnech (eds.)

Έτος:

1999

Γλώσσα:

english

Αρχείο:

PDF, 18.54 MB

0 / 0

english, 1999

4

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Springer-Verlag Berlin Heidelberg

Paul Feautrier (auth.), Yassine Lakhnech, Sergio Yovine (eds.)

Έτος:

2004

Γλώσσα:

english

Αρχείο:

PDF, 14.07 MB

0 / 0

english, 2004

5

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Springer-Verlag Berlin Heidelberg

Paul Feautrier (auth.), Yassine Lakhnech, Sergio Yovine (eds.)

Έτος:

2004

Γλώσσα:

english

Αρχείο:

PDF, 4.30 MB

0 / 0

english, 2004